; INSTALL.REPO: Add -d to "thorough cleaning" suggestion.

diff --git a/INSTALL.REPO b/INSTALL.REPO
index ac991f7ee26fa56e7ae55504280905af733807ea..a5b60cf6cb1a5d014d2a8cd1505b31090cf2d140 100644 (file)
--- a/INSTALL.REPO
+++ b/INSTALL.REPO
@@ -54,7 +54,7 @@ If CPU time is not an issue, 'make bootstrap' is a more thorough way
 to rebuild, avoiding spurious problems.
 
 Occasionally, there are changes that 'make bootstrap' won't be able to
-handle.  The most thorough cleaning can be achieved by 'git clean -fx'
+handle.  The most thorough cleaning can be achieved by 'git clean -fdx'
 which will leave you with only files from the git repository.  Here
 are some faster methods for a couple of particular error cases: